$R$\^{}+($x$,$y$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$n$:$\mathbb{N}^{+}$. $x$ rel\_exp($T$;$R$;$n$) $y$